Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
141	CSP- and SAT-based Inference Techniques Applied to Gnomine Bachelor Thesis Faculty of Science, University of Basel Department of Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Artificial intelligence Local consistency Constraint satisfaction Constraint Constraint logic programming Decomposition method Constraint programming Software engineering Computer programming
142	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics
143	Principles of Constraint Programming Krzysztof R. Apt Chapter 4 Some Complete Constraint Solvers Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-10-03 21:20:16 Constraint logic programming Logic programming Constraint programming Integral calculus Differentiation rules
144	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-29 03:59:19 Constraint programming Logic in computer science Automated theorem proving Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Uninterpreted function Decision problem Theoretical computer science Mathematics Applied mathematics
145	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Programming paradigms Constraint programming Logic programming Data types Prolog Inference Type system Type inference Software engineering Computing Computer programming
146	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Constraint programming Problem solving Non-classical logic Automated planning and scheduling Constraint satisfaction problem Control theory Planning Modal logic Mind Logic Science Philosophical logic
147	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:18 Computing Constraint satisfaction Constraint logic programming Kaleidoscope Cassowary Mathematical optimization Declarative programming Quadratic programming Constraint inference Constraint programming Software engineering Computer programming
148	Microsoft Word - wits-6pagefinal.doc Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:21 Computing Programming paradigms Logic programming Reasoning Constraint logic programming Constraint Handling Rules P/E ratio Knowledge representation and reasoning ECLiPSe Software engineering Constraint programming Declarative programming
149	A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem Jean-Paul Watson1 and J. Christopher Beck2 1 2 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2008-06-13 08:20:22 Mathematical optimization Algorithm Mathematical logic Theoretical computer science Science Job shop scheduling Tabu search Guided Local Search Search algorithm Operations research Mathematics Applied mathematics
150	Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, jcm}@cs.stanford.ed Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-11-05 19:04:46 Computing Constraint satisfaction Constraint logic programming Datalog Relational model Structure Logic programming Constraint Local consistency Constraint programming Software engineering Computer programming

UPDATE